HDF5: Maximum I/O. Maximum Storage. Maximum Flexibility. Mission Critical: A Changing Climate HDF software is still the software of choice—The power and flexibility to spur new discovery. The year is 1999; the space a

Source URL: www.hdfgroup.org

Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems Tiark Rompf1 , Kevin J. Brown2 , HyoukJoong Lee2 , Arvind K. Sujeeth2 , Manohar Jonnalagedda4 , Nada Amin4 , Georg Ofenbeck5 , Alen Stoj

Source URL: drops.dagstuhl.de

• Software engineering
• Software
• Computer programming
• Programming language implementation
• Compiler construction
• Functional languages
• Object-oriented programming languages
• Parsing
• Compiler
• Metaprogramming
• Preprocessor
• Interpreter

Event Handling with SkyAlert Roy Williams California Institute of Technology The Skyalert project collects and disseminates observations about time-critical astronomical transients, and adds annotations and intelligent m

Source URL: www.cacr.caltech.edu

• Computing
• Software engineering
• Information technology
• Business intelligence
• Data management
• VOEvent
• Event
• International Virtual Observatory Alliance
• Robotic telescope
• European Southern Observatory

Medical Device Integration Software Intensive Care Units Critical careTrends automatically gathers patient data from hemodynamic monitors and other devices in the intensive care unit (ICU) and send it to your hospital’

Source URL: www.winolalake.com

Belief & Evidence in Empirical Software Engineering ∗ Prem Devanbu Microsoft Research

Source URL: macbeth.cs.ucdavis.edu

• Evidence
• Source code
• Critical thinking
• Philosophy of science
• Belief
• Truth
• Scientific evidence
• Evidence-based medicine
• Empirical evidence
• Agile software development
• Code review
• Software quality

Page 1 of 2 2016_1 CRITICAL INFORMATION SUMMARY INREACH ADVENTURER PLAN - NZD

Source URL: www.alwaysinreach.co.nz

• Technology
• Mobile technology
• Geography
• Atlases
• Cartography
• DeLorme
• GIS software
• Global Positioning System
• Yarmouth
• Maine
• Iridium Communications
• Short Message Service
• Iridium satellite constellation

What Change History Tells Us about Thread Synchronization ∗ Rui Gu3 Guoliang Jin4 Linhai Song1 Linjie Zhu1 Shan Lu2

Source URL: people.cs.uchicago.edu

• Concurrency control
• Computing
• Computer programming
• Software engineering
• Synchronization
• Lock
• Readerswriter lock
• Race condition
• Monitor
• Critical section
• Debugging
• File locking

Trustworthy Medical Device Software Kevin Fu Assistant Professor University of Massachusetts Amherst Department of Computer Science

Source URL: spqr.eecs.umich.edu

• Technology
• Computing
• Software engineering
• Formal methods
• Medical technology
• Software development process
• Medical equipment
• Systems engineering
• Medical device
• Life-critical system
• IEC 62304
• Computer security

A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot §

Source URL: www-verimag.imag.fr

• Computing
• Software engineering
• Computer programming
• Abstract interpretation
• Data types
• Functional languages
• Denotational semantics
• Function
• Array data type
• Scala
• Widening
• Data-flow analysis

Jason Weiler 6916 15th Ave. NE Seattle, WA165735382270Summary: Over 17 years of professional software engineering experience with a solid track record of completing critical p

Source URL: www.jasonweiler.com

• Cross-platform software
• Unreal
• Virtual reality
• Computing platforms
• Scripting languages
• Havok
• Unreal Engine
• Game engine
• Source
• Visual C++
• Cross-platform
• Kinect